Verification of Sequential and ...
Paperback
Published 05 Dec 2012
- $61.22
Search for "Ernst Rüdiger Olderog"
7 results
-
-
$1.40off
Programmverifikation
Paperback | German
Published 21 Mar 1994Save $1.40
- RRP $36.07
- $34.67
-
$10.84off
Verification of Sequential and ...
Paperback
Published 14 Mar 2012Save $10.84
- RRP $97.14
- $86.30
-
$9.31off
Model Checking, Synthesis, and ...
Paperback
Published 22 Nov 2021Save $9.31
- RRP $76.32
- $67.01
-
$3.75off
Provably Correct Systems
Paperback
Published 03 May 2018Save $3.75
- RRP $152.66
- $148.91
-
Verification of Sequential and ...
Hardback
Published 13 May 1997 -
Model Checking, Synthesis, and ...
Paperback
Published 26 Nov 2021